Compiler construction

Results: 1898



#Item
391Compiler construction / Software bugs / Static program analysis / C / Dead code / Software testing / Pointer / Static single assignment form / Parsing / Software engineering / Computing / Computer programming

TTSSFade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp National ICT Australia Ltd. (NICTA)

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2012-02-08 00:45:45
392Embedded operating systems / Real-time operating systems / Compiler construction / Compilers / Programming language implementation / X86 / LynuxWorks / LynxOS / Call graph / Software / Computing / Computer architecture

StackAnalyzer for x86 (Flat Memory Model) StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotation

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
393Programming language theory / Programming language semantics / Programming language implementation / Compiler construction / Denotational semantics / PreScheme / Compiler / Formal methods / Programming language / Software engineering / Theoretical computer science / Logic in computer science

c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Veri cation

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:11
394Compiler optimizations / Functional languages / Compiler construction / Programming language implementation / Constant folding / Stack / Compiler / Static single assignment form / ATS / Computing / Software engineering / Computer programming

Partial evaluation based on three-address form c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia November 18th , 2011 Abstract

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2011-11-18 07:53:28
395Compiler optimizations / Compilers / Parallel computing / Compiler construction / Programming language implementation / LLVM / Loop optimization / Compiler / Source-to-source compiler / Computing / Software / Computer programming

E N A B L I N G P O LY H E D R A L O P T I M I Z AT I O N S I N L LV M tobias christian grosser Diploma Thesis Programming Group Department of Informatics and Mathematics

Add to Reading List

Source URL: polly.llvm.org

Language: English - Date: 2012-02-15 16:11:19
396HTML / Accounting systems / Attribute grammar / Compiler construction / Attribute domain / Debits and credits / Account / Computing / Database theory / Programming paradigms

Bulletin NoTo: Heads of Government Departments, Agencies, and Others Concerned Subject: Change to Transmittal Letter No. S2 14-01, U.S. Government Standard General Ledger (USSGL) – A Treasury Financial Manua

Add to Reading List

Source URL: tfm.fiscal.treasury.gov

Language: English - Date: 2015-02-13 09:52:21
397Installation software / Compiler construction / Just-in-time compilation / Installation / Java virtual machine / Make / Software / System software / Computing

Excelsior JET for Mac OS X Version 10.0 User’s Guide

Add to Reading List

Source URL: www.excelsior-usa.com

Language: English - Date: 2014-07-23 04:44:30
398Compiler construction / Computer programming / Canonical LR parser / LR parser / Functional programming / Lookahead / Compiler-compiler / Memoization / Stack / Parsing / Computing / Software engineering

Appeared in PEPM’93 Partial Evaluation of General Parsers – Slightly Revised – October 18, 1993

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:05
399Data types / Procedural programming languages / Program analysis / Compiler construction / Programming language implementation / C / Aliasing / Type system / Pointer / Software engineering / Computing / Computer programming

Some Assembly Required - Program Analysis of Embedded System Code

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2008-10-07 01:51:34
400Computational linguistics / Information retrieval / Compiler construction / Formal languages / Speech recognition / Shallow parsing / Parsing / Search engine indexing / Focus / Linguistics / Science / Natural language processing

Microsoft Word - TREC proceedings.doc

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2007-12-18 11:23:04
UPDATE